Humanized sequence MGI:4819616 targeted mutation 1.1, David G Johnson http://identifiers.org/mgd/MGI:4819616 Trp53<tm1.1Dgj> p53<P> Trp53<R72P>